『2007年度 情報数学 証明論入門』
2007年度 情報数学 証明論入門
三段論法
(
モーダスポネンス
)
健全性定理
(soundness)
証明できたことは正しい
完全性定理
(completeness)
正しいことは証明できる
シーケント
シーケント計算
論理的帰結
$ A_1, A_2,...,A_n \